From 377aa9f551f2c07b3ed373bc65c23daf57eb20e1 Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@debian.org>
Date: Wed, 19 Sep 2018 00:21:39 +0100
Subject: [PATCH] Always build man pages

We install them in Architecture: any binary packages.
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index b850a8c934..cf6237abb2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -120,7 +120,7 @@ configure_flags_deb += -Dwayland-backend=true
 endif
 
 ifeq ($(filter %-doc,$(binaries)),)
-configure_flags_deb += -Ddocumentation=false -Dman-pages=false
+configure_flags_deb += -Ddocumentation=false
 endif
 
 configure_flags_udeb = \
-- 
2.30.2